Knihy od autora Rayna Dimitrova

Zobrazené 1 – 3 z 3 výsledkov

1. 

   Verification, Model Checking, and Abstract Interpretation

   Rayna Dimitrova, Ori Lahav, Sebastian Wolff | Springer, Berlin, 2024

   
   

   Skladom u dodávateľa - Odosielame za 10 - 18 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   74.46 €

   Zľava 9 %

   Ušetríte 8.26 €

   Kúpiť
2. 

   Verification, Model Checking, and Abstract Interpretation

   Rayna Dimitrova, Ori Lahav, Sebastian Wolff | Springer, Berlin, 2024

   
   

   Skladom u dodávateľa - Odosielame za 10 - 18 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   74.46 €

   Zľava 9 %

   Ušetríte 8.26 €

   Kúpiť
3. 

   Software Verification

   Roderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina | Springer Nature Switzerland AG, 2022

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   56.75 €

   Zľava 7 %

   Ušetríte 4.76 €

   Kúpiť

Získali sme ocenenie Shop roka 2014 - finalista. Zistite viac